]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51348c6) | patch
workspace: Actually apply top overlap to the top
authorJonas Dreßler <verdre@v0yd.nl>
Fri, 12 Feb 2021 15:18:13 +0000 (16:18 +0100)
committerJonas Dreßler <verdre@v0yd.nl>
Sun, 21 Feb 2021 16:01:07 +0000 (17:01 +0100)
commit9e8ceeae9db4847515fbb668cef3e567ae79f228
tree95fb2cbb31e18234c1d74718bd898e6099c0a6e4tree | snapshot
parent51348c6020649e7c98327e4ca139f3565dbb9866commit | diff
workspace: Actually apply top overlap to the top

The top overlap is accidentally being applied to the left edge right
now, fix that and apply it correctly to the top edge.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1698>
js/ui/workspace.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.